Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Tesis |
N veces a través del espejo: | Pertino, Cecilia |
(1995) |
Sala
|
---------- |
Libro |
Temporal verification of reactive systems: safety | Manna, Zohar |
1a. ed.
(1995) |
Domicilio
|
---------- |
Libro |
The temporal logic of reactive and concurrent systems: specification | Manna, Zohar |
1st ed.
(1991) |
Domicilio
|
---------- |